Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
961	Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting Lukas Kroc, Ashish Sabharwal, Bart Selman Cornell University May 23, 2008 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2009-02-12 00:13:50 Complexity classes Boolean algebra Constraint programming Mathematical optimization Boolean satisfiability problem Constraint satisfaction problem NP-complete Belief propagation NP Theoretical computer science Computational complexity theory Applied mathematics
962	Preparation of Graphics for Publications with Matlab Many authors use Matlab (http://www.mathworks.com/) to prepare graphics for publication and presentations. However, the default Matlab settings often lead to inappropr Add to Reading List Source URL: scitation.aip.org Language: English - Date: 2013-09-12 16:25:31 Graphics file formats Adobe Systems Array programming languages MATLAB Numerical linear algebra Digital typography Encapsulated PostScript PostScript Tagged Image File Format Software Computing Computer graphics
963	Dense Matrix Algebra on the GPU Ádám Moravánszky NovodeX AG 1. Introduction Add to Reading List Source URL: www.shaderx2.com Language: English - Date: 2006-10-06 12:04:45 Shading OpenGL Graphics hardware Shader Rasterisation ARB Microsoft Direct3D High Level Shader Language Vertex Computer graphics Computing 3D computer graphics
964	Improving the Performance of MPI Derived Datatypes by Optimizing Memory-Access Cost Surendra Byna† † William Gropp‡ Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2003-10-22 17:22:49 Compiler optimizations Central processing unit Computer memory Parallel computing Application programming interfaces Message Passing Interface CPU cache Automatically Tuned Linear Algebra Software MPICH Computing Computer programming Software engineering
965	Local Image Features Read Szeliski 4.1 Computer Vision CS 143, Brown James Hays Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2013-09-23 12:53:38 Linear algebra Abstract algebra Eigenvalues and eigenvectors Singular value decomposition Trace I1 Derivative Algebra Mathematics Matrix theory
966	GRAPH LOGICS WITH RATIONAL RELATIONS ´ DIEGO FIGUEIRA, AND LEONID LIBKIN PABLO BARCELO, Department of Computer Science, University of Chile e-mail address: Laboratory for Foundations of Computer S Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:11:01 Theoretical computer science Model theory Universal algebra Combinatorics on words Automata theory Structure Regular language String Substructure Formal languages Mathematics Metalogic
967	PRIMES is in P Manindra Agrawal Neeraj Kayal ∗ Nitin Saxena Department of Computer Science & Engineering Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2006-05-09 13:08:50 Primality tests Analytic number theory Finite fields Analysis of algorithms Computational complexity theory AKS primality test Prime number Randomized algorithm Time complexity Mathematics Abstract algebra Theoretical computer science
968	A Behavioural Biometric System Based on Human Computer Interaction Hugo Gamboaa and Ana Fredb a Escola Superior de Tecnologia de Set´ Add to Reading List Source URL: www.lx.it.pt Language: English - Date: 2010-07-24 14:01:23 Linear algebra Machine learning Biometrics Surveillance Pattern recognition Keystroke dynamics Vector space Euclidean vector X Window System Algebra Mathematics Abstract algebra
969	Image Matching using Local Symmetry Features Daniel Cabrini Hauagge and Noah Snavely {hauagge, snavely}@cs.cornell.edu Motivation Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2012-06-12 01:12:44 Vision Theoretical physics Maximally stable extremal regions SYM Motors Group action Rotational symmetry Symmetry Abstract algebra Computer vision
970	Performance analysis of OFDM modulation on indoor broadband PLC channels Add to Reading List Source URL: www.environmentalsystemsresearch.com Language: English Mathematics Hydrology Computer algebra systems Hydrogeology MODFLOW Linear programming Global optimization Groundwater model AMPL Operations research Mathematical optimization Applied mathematics